退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于符号模型检验的反例保留约简
Wanwei Liu; Rui Wang; Xianjin Fu; Ji Wang; Wei Dong; Xiaoguang Mao;
机译:用于符号模型检查的保留反例的约简
机译:通过符号间隔分析减少位宽以进行软件模型检查
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:基于符号模型检验的大型模型可诊断性实用形式验证
机译:动态模型修剪的符号模型检查
机译:使用混合显式和符号模型检查的软件验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。